On Yablonskii theory concerning functional completeness of $k$-valued logic.
نویسندگان
چکیده
منابع مشابه
Remarks on completeness of lattice-valued Cauchy spaces
We study different completeness definitions for two categories of lattice-valued Cauchy spaces and the relations between these definitions. We also show the equivalence of a so-called completion axiom and the existence of a completion.
متن کاملFunctional Completeness in Tense Logic
Consider a partially ordered set(T <,=), where T is non-empty,< is an irreflexive and transitive relation on T and = is equality. We can regard T as a set of moments of time and < as the earlier later relation. We refer to any fixed (T,<,=) as a flow of time. Consider now a propositional language with atomic propositions p, q, r, . . . the usual classical connectives ∼,∧,∨ → and some additional...
متن کاملOn the number of monotonic functions from two-valued logic to k-valued logic
The problem of number determination of monotonic functions of n variables-i^(n) was formulated and solved for n = 4 by Dedekind [3] in 1897. For n = 5 and n = 6, this problem was solved in Church [2] and in Ward [12] respectively. The further authors bringing the essential improvement of the estimates of \j/(n) were Gilbert [4], Korobkov [8, 9, 10], Hansel [5], and Kleitman [7] who gave an asym...
متن کاملA Theory on the Completeness of the DN Logic Capability
While the brain develops through interactions with the external environment, it almost never experiences an exact physical event twice. Furthermore, the attended objects and events do not appear exactly the same as before and the background settings are not the exactly same either. However, the brain can abstract and generalize to deal with those environmental variations. This paper discusses a...
متن کاملremarks on completeness of lattice-valued cauchy spaces
we study different completeness definitions for two categories of lattice-valued cauchy spaces and the relations between these definitions. we also show the equivalence of a so-called completion axiom and the existence of a completion.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1977
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093887929